Korrektheit Algorithmus